Section: New Software and Platforms

ekstrakto

Keywords: TPTP - TSTP - Proof assistant - Dedukti

Functional Description: Extracting TPTP problems from a TSTP trace. Proof reconstruction in Dedukti from TSTP trace.

• Contact: Mohamed Yacine El Haddad

• URL: https://github.com/elhaddadyacine/ekstrakto